Objects as Mobile Processes
نویسندگان
چکیده
The object calculus of Abadi and Cardelli [AC96, AC94b, AC94a] is intended as model of central aspects of object-oriented programming languages. In this paper we encode the object calculus in the asynchronous π-calculus without matching and investigate the properties of our encoding.
منابع مشابه
An Intelligent Vision System on a Mobile Manipulator
This article will introduce a robust vision system which was implemented on a mobile manipulator. This robot has to find objects and deliver them to pre specified locations. In the first stage, a method which is named color adjacency method was employed. However, this method needs a large amount of memory and the process is very slow on computers with small memories. Therefore since the previou...
متن کاملPrinciples of Mobile Maude
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general declarative mobile language design and makes possible strong assurances of mobile agent behavior. The two key notions are processes and mobile objects. Processes are located computational environments where mobile obj...
متن کاملMovies and Dynamic Mathematical Objects on Trigonometry for Mobile Phones
This paper is about movies and dynamic objects for mobile phones. Dynamic objects are the software programmed by JavaScript. They consist of geometric figures and work on HTML5-compliant browsers. Mobile phones are very popular among teenagers. They like watching movies and playing games on them. So, mathematics movies and dynamic objects would enhance teaching and learning processes. In the mo...
متن کاملبررسی ویژگیهای شیوههای رایج دزیمتری گذشته نگر
As public concern mounts over exposures to ionizing radiation stemming from environmental releases of radionuclides following nuclear accidents, there is a growing need to develop reliable techniques that reconstruct exposures and doses to individuals. Especially in situations where conventional dosimeters were not in place at the time of facing to radiation exposure. In order to provide guidan...
متن کاملMobile Interaction in Real Augmented Environments : Principles , Platforms , Development Processes and Applications
In this chapter the authors describe a real augmented environment and its associated mobile interactions based on wearable computers with appropriate interaction devices that can be either classical computer interaction devices or real objects augmented with computer interfaces called tangible objects. After presenting the main principles, they describe a concrete platform, related MDA developm...
متن کاملA Trajectory UML profile For Modeling Trajectory Data: A Mobile Hospital Use Case
A large amount of data resulting from trajectories of moving objects activities are collected thanks to localization based services and some associated automated processes. Trajectories data can be used either for transactional and analysis purposes in various domains (heath care, commerce, environment, etc.). For this reason, modeling trajectory data at the conceptual level is an important sta...
متن کامل